Subjects: Decision procedure; Difference logic; Formal methods
تفاصيل العنوان
Subjects: Decision procedure; CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO [CNPQ]; Difference logic